Automatic binding-related error diagnosis in logic programs

This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging

A Practical Type Analysis for Verification of Modular Prolog Programs

Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency. In this paper we propose a combination of techniques aimed at improving analysis efficiency in this context. As a first technique we allow optionally reducing the accuracy of inferred types by using only the types defined by the user or present in the libraries. We claim that, for the purpose of verifying type signatures given in the form of assertions the precision obtained using this approach is sufficient, and show that analysis times can be reduced significantly. Our second technique is aimed at dealing with situations where we would like to limit the amount of reanalysis performed, especially for library modules. Borrowing some ideas from polymorphic type systems, we show how to solve the problem by admitting parameters in type specifications. This allows us to compose new call patterns with some pre computed analysis info without losing any information. We argue that together these two techniques contribute to the practical and scalable analysis and verification of types in Prolog programs

Thermal Current Interruption Performance of CO2 and CO2/C4F7N mixture

This contribution aims to compare the thermal interruption performance of pure CO2with a mixture of CO2/C4F7N. Measurements primarily show higher interrupting capability for amixture with C4F7N. Detailed analysis shows a distinct difference in the failure mechanism which forCO2/C4F7N is thermal failure and for CO2 mostly “hot dielectric” failure. The difference in the failuremechanism is relevant for the test duties with the most severe TRV. The influence of ablated nozzlematerial on the interruption process can be ruled out

Statistical Methods for Identifying Small Differences in the Thermal Interruption Performance of SF6 Alternatives

This contribution will present thermal current interruption measurements performed in pure CO2 with a puffer circuit-breaker test device and establish a statistical method to assess the reignition probability as a function of the prospective current slope. Its efficacy will be demonstrated with measurements of the interruption limit scaling with respect to the pressure buildup inside the test device. A separate contribution will apply these methods to evaluate the influence of fluorinated additives on the switching performance

Use of alternative methods in the treatment of anemia in pregnant women – prospective observational study

Objectives: Anemia in pregnant women is a common condition, diagnosed when the concentration of hemoglobin falls below 11 g/dL. Taking into consideration the accounts of nephrologists about good results of treatment of secondary anemia using erythropoietin in patients with renal failure, we tried to use EPO to cure anemia in pregnant women.  The aim of the study was to evaluate the results of EPO treatment on pregnant women diagnosed with iron deficiency anemia, as well as possible side effects.  Material and methods: The study consisted of 25 patients: Group I — treated with iron supplement administered parenterally — Ferrum Lek every two days intramuscularly.  Group II — treated with recombinant human erythropoietin — 1000 j intravenously every three days, with oral iron sup- plements.  Results: After a week of treatment the positive response was higher in the second group (92.3% in II, vs 33.3% in I, p < 0.005). The average increase of hemoglobin and RBC was significantly higher in II group.  An increase in hemoglobin did not correlate with the age of women (r = 0.07) or with the duration of pregnancy (r = 0.08). However, a negative correlation was found between basic hemoglobin level and its increase after treatment (r = 0.602).  Conclusions: EPO administered with the oral dose of iron in pregnant women with anemia caused by iron deficiency shows higher effectiveness than the use of iron preparations parenterally.  The usage of EPO during pregnancy is not related to any dangerous side effects for the mother or fetus.

Modulation of Age- and Cancer-Associated DNA Methylation Change in the Healthy Colon by Aspirin and Lifestyle

Background Aberrant DNA methylation in gene promoters is associated with aging and cancer, but the circumstances determining methylation change are unknown. We investigated the impact of lifestyle modulators of colorectal cancer (CRC) risk on the stability of gene promoter methylation in the colonic mucosa. Methods We measured genome-wide promoter CpG methylation in normal colon biopsies (n = 1092) from a female screening cohort, investigated the interaction of lifestyle factors with age-dependent increase in methylation with log-linear multivariable regression, and related their modifying effect to hypermethylation in CRC. All statistical tests were two-sided. Results Of 20025 promoter-associated CpGs analyzed, 1713 showed statistically significant age-dependent methylation gains. Fewer CpGs acquired methylation in users of aspirin (≥2 years) and hormonal replacement therapy (HRT age ≥50 years) compared with nonusers (43 vs 1355; 1 vs1377, respectively), whereas more CpGs were affected in smokers (≥20 years) and individuals with a body mass index (BMI) of 25kg/m2 and greater compared with control groups (180 vs 39; 554 vs 144, respectively). Fifty percent of the CpGs showing age-dependent methylation were found hypermethylated in CRC (odds ratio [OR] = 20; 95% confidence interval [CI] = 18 to 23; P < 2×10-16). These loci gained methylation with a higher median rate compared with age-only methylated sites (P = 2×10-76) and were enriched for polycomb regions (OR = 3.67). Importantly, aspirin (P < .001) and HRT use (P < .001) reduced the methylation rate at these cancer-related genes, whereas smoking (P < .001) and high BMI (P = .004) increased it. Conclusions Lifestyle, including aspirin use, modulates age-associated DNA methylation change in the colonic epithelium and thereby impacts the evolution of cancer methylome

Bone Morphogenic Proteins are Immunoregulatory Cytokines Controlling FOXP3+ T\u3csub\u3ereg\u3c/sub\u3e Cells

Bone morphogenic proteins (BMPs) are members of the transforming growth factor β (TGF-β) cytokine family promoting differentiation, homeostasis, and self-renewal of multiple tissues. We show that signaling through the bone morphogenic protein receptor 1α (BMPR1α) sustains expression of FOXP3 in Treg cells in peripheral lymphoid tissues. BMPR1α signaling promotes molecular circuits supporting acquisition and preservation of Treg cell phenotype and inhibiting differentiation of pro-inflammatory effector Th1/Th17 CD4+ T cell. Mechanistically, increased expression of KDM6B (JMJD3) histone demethylase, an antagonist of the polycomb repressive complex 2, underlies lineage-specific changes of T cell phenotypes associated with abrogation of BMPR1α signaling. These results reveal that BMPs are immunoregulatory cytokines mediating maturation and stability of peripheral FOXP3+ regulatory T cells (Treg cells) and controlling generation of iTreg cells. Thus, we establish that BMPs, a large cytokine family, are an essential link between stromal tissues and the adaptive immune system involved in sustaining tissue homeostasis by promoting immunological tolerance

Static incorrectness diagnosis of CLP(FD)

Upprättat; 1998; 20081208 (pawpie

A type-based framework for locating errors in constraint logic programs

Upprättat; 2002; 20081208 (pawpie

A type-based framework for locating errors in constraint logic programs

Upprättat; 2002; 20081208 (pawpie